-
1 our proof follows along the lines of Lemma 2 of [1]
Математика: наше доказательство, в основном, повторяет доказательство Леммы 2 из [1]Универсальный англо-русский словарь > our proof follows along the lines of Lemma 2 of [1]
-
2 our proof of Theorem 2 follows the arguments in [2] closely
Универсальный англо-русский словарь > our proof of Theorem 2 follows the arguments in [2] closely
-
3 this completes our proof
Математика: что и завершает наше доказательствоУниверсальный англо-русский словарь > this completes our proof
См. также в других словарях:
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия
НЕБЕСНАЯ МЕХАНИКА — раздел астрономии, применяющий законы механики для изучения движения небесных тел. Небесная механика занимается предвычислением положения Луны и планет, предсказанием места и времени затмений, в общем, определением реального движения космических… … Энциклопедия Кольера
Людоеды из Цаво — в Филдовском музее естественной истории в Чикаго Людоеды из Цаво два льва людоеда, действовавших в районе реки Цаво (современная … Википедия
Александр II (часть 2, I-VII) — ЧАСТЬ ВТОРАЯ. Император Александр II (1855—1881). I. Война (1855). Высочайший манифест возвестил России о кончине Императора Николая и о воцарении его преемника. В этом первом акте своего царствования молодой Государь принимал пред лицом… … Большая биографическая энциклопедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
Александр II (часть 2, VIII-XII) — VIII. Тысячелетие России (1861—1862). Высочайший манифест об освобождении крестьян, обнародованный в С. Петербурге и в Москве в воскресенье 5 го марта, был объявлен во всех губернских городах нарочно командированными генерал майорами свиты… … Большая биографическая энциклопедия
ГРИГОРИЙ ПАЛАМА — [Греч. Γρηγόριος Παλαμᾶς] (ок. 1296, К поль 14.11.1357, Фессалоника), свт. (пам. 14 нояб., переходящее празд. во 2 ю Неделю Великого поста), архиеп. Фессалоникийский, отец и учитель Церкви. Жизнь Источники Свт. Григорий Палама. Икона. Посл. треть … Православная энциклопедия
Александр II (часть 2, XIII-XIX) — XIII. Дела внутренние (1866—1871). 4 го апреля 1866 года, в четвертом часу дня, Император Александр, после обычной прогулки в Летнем саду, садился в коляску, когда неизвестный человек выстрелил в него из пистолета. В эту минуту, стоявший в… … Большая биографическая энциклопедия
Локк Джон — Создание критического эмпиризма Жизнь и сочинения Локка Эмпиризм стал существенной составной частью философии Бэкона и Гоббса, однако у первого он ограничен тематикой научного опыта, а у второго переплетен с рационализмом и жестко обусловлен… … Западная философия от истоков до наших дней
Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… … Большая биографическая энциклопедия
Сперанский, граф Михаил Михайлович — — государственный деятель времен Александра ? и Николая I (1772—1839 г.). I. Сперанский родился 1 января 1772 г. в селе Черкутине, Владимирского уезда, где отец его, Михаил Васильевич, был священником. Семи лет отдан был отцом во… … Большая биографическая энциклопедия
